Nuprl Definition : es-kindtype
11,40
postcript
pdf
es-kindtype(
es
;
i
;
k
) == if isrcv(
k
) then es-M(
es
)(lnk(
k
),tag(
k
)) else es-V(
es
)(
i
,act(
k
)) fi
latex
Definitions
if
b
then
t
else
f
fi
,
isrcv(
k
)
,
es-M(
es
)
,
lnk(
k
)
,
tag(
k
)
,
f
(
a
)
,
es-V(
es
)
,
act(
k
)
FDL editor aliases
es-kindtype
origin